.highlight {
    --highlight-deletion: #008000;
    --highlight-addition: #800000;
    --highlight-background: #002451;
    --highlight-current-line: #00346e;
    --highlight-selection: #003f8e;
    --highlight-foreground: #ffffff;
    --highlight-comment: #7285b7;
    --highlight-red: #ff9da4;
    --highlight-orange: #ffc58f;
    --highlight-yellow: #ffeead;
    --highlight-green: #d1f1a9;
    --highlight-aqua: #99ffff;
    --highlight-blue: #bbdaff;
    --highlight-purple: #ebbbff;
    --highlight-gutter-color: #7285b7;
    --highlight-gutter-bg-color: #000e20;
}